class A
end
class B
inherit A
end

class D
end

class APP
feature
    test(a : B)
    do
    end
    
    INIT
    local a : A; b : B; c : D
    do
       Current.test(b);
       Current.test({B}a)
       Current.test({B}c)
    end    
end